Formal Verification of Event-driven Health Applications
نویسندگان
چکیده
منابع مشابه
Design and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملFormal Verification of Web Applications
Web applications are executed in a browser environment, widely used and can be developed with the Google Web Toolkit (GWT). This paper presents a domainspecific language (DSL) for modeling GWT web application and an automated transformation of the DSL into Promela which is the input language of the model checker Spin. Spin checks the complete state space of the corresponding web application mod...
متن کاملEvent-driven and Attribute-driven Robustness
Over five decades have passed since the first wave of robust optimization studies conducted by Soyster and Falk. It is outstanding that real-life applications of robust optimization are still swept aside; there is much more potential for investigating the exact nature of uncertainties to obtain intelligent robust models. For this purpose, in this study, we investigate a more refined description...
متن کاملFormal Verification of Osek/vdx Based Applications
This article shows, how a preemptive multitasking application running under a real-time operating system compliant with OSEK/VDX standard can be modeled by timed automata. The application under consideration consists of several tasks, it includes synchronization by events and resource sharing. For such system, model-checking theory based on timed automata and implemented in model-checking tools...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Software Engineering: Theories and Practices
سال: 2016
ISSN: 2377-3316
DOI: 10.21174/josetap.v1i1.49